101. Runtime verification :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computer software ; Verification ; Congresses. ;
102. Runtime verification
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : oriented programming ; Congresses. ; Computersicherheit. ; swd. ; Datensicherung. ; swd. ; Echtzeitsystem-Computer software ; Verification ; Congresses. ; Formal methods (Computer science) ; Congresses. ; Computer software ; Testing ; Congresses. ; Aspect
103. Runtime verification
پدیدآورنده : Sarfraz Khurshid, Koushik Sen (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Testing, Congresses,Computer software-- Verification, Congresses,Formal methods (Computer science), Congresses
رده :
QA76
.
76
.
V47
R8
2011eb
104. Runtime verification :
پدیدآورنده : Axel Legay, Saddek Bensalem (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Testing, Congresses,Computer software-- Verification, Congresses,Formal methods (Computer science), Congresses
رده :
QA76
.
76
.
V47
R8
2013
105. Runtime verification :
پدیدآورنده : Christian Colombo, Martin Leucker (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Testing, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Computer programming-- software development.,Computer software-- Testing.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
76
.
V47
106. SPIN model checking and software verification : 7th International SPIN Workshop, Stanford, CA, USA, August 30-Sept. 1, 2000 : proceedings
پدیدآورنده : Klaus Havelund, John Penix, Willem Visser )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer software -- Verification,Congresses ، SPIN )Computer file(
رده :
QA
76
.
L28
Vol
.
1885
107. Simulation and verification of electronic and biological systems
پدیدآورنده :
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Formal methods (Computer science),Computer software- Verification
رده :
QA
،
76
.
9
،.
S5
،
2011
108. Software engineering analysis and verification
پدیدآورنده : Lewis, Theodore Gyle, 1491-
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Software engineering,، Computer software -- Verification
رده :
QA
76
.
6
.
L477
109. Software engineering reviews and audits
پدیدآورنده : Boyd L. Summers
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Software engineering,Computer software, Validation,Computer software, Verification
رده :
QA
،
76
.
758
،.
S86
،
2011
110. Software engineering reviews and audits
پدیدآورنده : Summers, Boyd L.
کتابخانه: Library of Razi Metallurgical Research Center (Tehran)
موضوع : ، Software engineering,Validation ، Computer software,Verification ، Computer software
رده :
QA
76
.
758
.
S86
2011
111. Software engineering reviews and audits
پدیدآورنده : Summers, Boyd L.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Software engineering,Validation ، Computer software,Verification ، Computer software
رده :
QA
76
.
758
.
S86
2011
112. Software inspection : an industry best practice
پدیدآورنده : ]edited by[ David A. Wheeler, Bill Brykczynski, Reginald N. Meeson, Jr
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Computer software - Verification, Computer software - Quality control
رده :
QA
76
.
76
.
V47
S64
1996
113. Software inspection: an industry best practice
پدیدآورنده :
کتابخانه: Library of Document Center and Great Islamic Encyclopedia Center (Tehran)
موضوع : Verification ، Computer software,Quality control ، Computer software
رده :
QA76
.
76
.
V47S6
1996
114. Software testing foundations
پدیدآورنده : by Andreas Spillner, Tilo Linz, Hans Schaefer
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Evaluation,Computer software-- Testing,Computer software-- Verification
رده :
QA76
.
76
.
T48
S66
2014
115. Software verification and analysis
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computer software ; Verification. ;
116. Software verification and validation
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computer software ; Validation. ; Computer software ; Verification. ;
117. Software verification and validation :
پدیدآورنده : by Marcus S. Fisher
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Validation,Computer software-- Verification
رده :
QA76
.
76
.
V47
F57
2007
118. Software verification and validation. an engineering and scientific approach
پدیدآورنده : Fisher, Marcus S.
کتابخانه: Library of Razi Metallurgical Research Center (Tehran)
موضوع : ، Computer software- Validation,، Computer software- Verification
رده :
QA
76
.
76
.
V47
F57
2007
119. Software verification and validation for practitioners and managers /
پدیدآورنده : Steven R. Rakitin.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Validation.,Computer software-- Verification.,COMPUTER PROGRAMS.,Computer software-- Validation.,Computer software-- Verification.,PROGRAM VERIFICATION (COMPUTERS),Qualitätskontrolle,SOFTWARE RELIABILITY.,Software.
رده :
QA76
.
76
.
V47
R35
2001